在分离稳定的语义和推论之间的关系很少被探索。特别地，怎么由分离稳定的语义用分离逻辑程序执行推论的问题仍然是开的。这份报纸尝......

In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that w......

By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disj......

基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义......